m-Recognizability of sets closed under certain affine functions
نویسندگان
چکیده
منابع مشابه
The symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کاملOn Closed Sets of Relational Constraints and Classes of Functions Closed under Variable Substitutions
Pippenger’s Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set A and taking values in a possibly different set B, where any or both of A and B may be finite or infinite.
متن کاملOn the Recognizability of Self-generating Sets
Let I be a finite set of integers and F be a finite set of maps of the form n 7→ ki n + `i with integer coefficients. For an integer base k ≥ 2, we study the k-recognizability of the minimal set X of integers containing I and satisfying φ(X) ⊆ X for all φ ∈ F . In particular, solving a conjecture of Allouche, Shallit and Skordev, we show under some technical conditions that if two of the consta...
متن کاملK -Trivial Closed Sets and Continuous Functions
We investigate the notion of K-triviality for closed sets and continuous functions. Every K-trivial closed set contains a K-trivial real. There exists a K-trivial Π 1 class with no computable elements. For any K-trivial degree d, there is a K-trivial continuous function of degree d.
متن کاملSome Generalizations of Locally Closed Sets
Arenas et al. [1] introduced the notion of lambda-closed sets as a generalization of locally closed sets. In this paper, we introduce the notions of lambda-locally closed sets, Lambda_lambda-closed sets and lambda_g-closed sets and obtain some decompositions of closed sets and continuity in topological spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 1988
ISSN: 0166-218X
DOI: 10.1016/0166-218x(88)90067-4